基于CPN的WCDMA协议一致性测试研究

【摘要】随着通信业的快速发展,3G技术给人们带来了前所未有的高速通信体验,WCDMA是最为成熟的移动通信3G标准。在我国,随着WCDMA标准的演进和产业化的发展,其协议特性越来越丰富,协议规模日益复杂化,各接口的协议共同决定着一个通信系统是否能够正常运作。移动网络协议的一致性测试是协议测试的重要方面,然而通过手工测试需要付出巨大的代价,而且有些复杂的问题也不容易被发现,所以需要将自动化的概念引入到协议一致性测试中。目前对WCDMA使用形式化方法进行一致性测试的研究极少,CPN作为形式化方法已经用于诸多协议的测试过程,因此本文使用CPN对WCDMA协议建模,并基于模型生成测试序列。本文主要工作如下：第一,根据协议一致性测试相关理论和CPN建模的特点,对WCDMA协议栈中的部分协议的信令流程进行形式化分析,根据形式化分析结果使用CPN对3GPP规范说明的WCDMA各协议模块进行形式化建模。第二,将模型中变迁、库所和弧与生成的状态空间进行解析并关联起来,设计并实现了从CPN模型及其状态空间中提取测试序列的工具。该工具的主要功能是提取抽象测试序列,并实现从抽象测试序列到可执行测试序列的自动生成,为以后进一步完善协议一致性测试提供理论依据和工具支持。第三,结合自然语言对测试序列进行描述,选取部分模型的测试例与3GPP提供的测试集对比分析,通过分析结果,验证了基于CPN自动化生成测试序列方法的可行性。
【作者】孙一宁；
【导师】刘咏梅；
【作者基本信息】内蒙古大学，计算机科学与技术，2014，硕士
【关键词】WCDMA协议；CPN建模；测试序列生成；协议一致性测试；

【参考文献】
[1]张晓媛,白雪,黄欣,戴章艳.银负载TiO_2纳米线/石墨烯的制备及光催化应用[J].化工新型材料,2015,02:206-208.
[2]王丽丽.嗜麦芽窄食单胞菌L1、L2和AmpR基因变异与抗生素诱导耐药性变化研究[D].南京农业大学,临床兽医学,2011,硕士.
[3]李世勇,宋飞,孙微,张宏科.基于效用最优化的多路径网络资源公平分配[J].计算机学报,2014,02:423-433.
[4]田梦.综合运输通道客运交通结构优化方法研究[D].北京交通大学,2009.
[5]郑征,曹敏.西双版纳热带季节雨林6种树种幼树在林下的光合作用[J].植物生态学报,1998,06:20-25.
[6]洪振,张美娟,康诗钊,秦利霞,李向清.氧化石墨烯包覆的铌酸钾微球光催化还原水制氢性能研究[A].中国化学会.第十三届固态化学与无机合成学术会议论文摘要集[C].中国化学会:,2014:1.
[7]刘琳娜.国有土地上房屋征收与补偿比例原则适用研究[D].内蒙古大学,法律,2014,硕士.
[8]袁安萍.中职资助政策执行研究[D].西北大学,行政管理,2013,硕士.
[9]林春兰.长期过量饮酒对舒芬太尼抑制气管插管时心血管反应ED50的影响[D].福建医科大学,麻醉学,2014,硕士.
[10]阮洪文（NGUYENHONGVAN）.越南重点经济区发展研究[D].华东师范大学,人文地理学,2014,博士.
[11]何震.医药行业连锁营销存在的问题与对策[D].华中师范大学,工商管理（专业学位）,2013,硕士.
[12]杨娴.s-联萘酚修饰的环三聚磷腈衍生物的合成及性能[D].郑州大学,有机化学,2013,硕士.
[13]王艺佳.母语为英语的学生习得惯用语偏误研究[D].吉林大学,汉语国际教育（专业学位）,2013,硕士.
[14]钱虹.初中生语文自学能力的培养[D].华东师范大学,课程与教学论,2002,硕士.
[15]胡典.湖南省林木资产证券化研究[D].中南林业科技大学,农村与区域发展,2013,硕士.
[16]HuQing.Discourse Analysis of English Job Advertisements on the Internet from the Perspective of Appraisal Theory[D].西安外国语大学,外国语言学及应用语言学,2014,硕士.
[17]马彬彬.知识产权出资法律问题研究[D].中南民族大学,经济法学,2013,硕士.
[18]越祖朕.高温合金激光焊活性剂的研制及对接头组织性能的影响[D].南昌航空大学,材料加工工程,2013,硕士.
[19]郑然.4个重要名胜区古树年轮对气候变化的响应[D].北京林业大学,自然保护区学,2013,硕士.
[20]周茜.防辐胶囊对辐射损伤的防护作用及其机制研究[D].湖北中医药大学,药理学,2013,硕士.
[21]李忠.基于B/S的高校资产管理系统的设计与应用[D].电子科技大学,软件工程（专业学位）,2012,硕士.
[22]王群.陶瓷柱/钛合金混杂结构的抗弹模拟与损伤机理研究[D].南京航空航天大学,材料加工工程,2013,硕士.
[23]张宁宁.基于图像分割的水上桥梁识别方法研究[D].宁夏大学,电子与通信工程（专业学位）,2014,硕士.
[24]姚磊.无线移动自组织网络的组网技术和QoS技术[D].西安电子科技大学,信息与通信系统,2004,硕士.
[25]孙超平杨平李凯.考虑外包的平行机调度问题的多目标遗传算法[J].中国机械工程,2014,22:.
[26]卢昌丹.电视财经频道专业化探析[D].湖南师范大学,新闻与传播学（专业学位）,2013,硕士.
[27]陈序.社会变迁视野下中产阶层划分标准研究[D].四川省社会科学院,社会学,2014,硕士.
[28]田青青.中长期径流预报模型及其仿真分析[D].华中科技大学,水利水电工程,2013,硕士.
[29]褚利忠.G-不变理想与移位运算下保持分次Betti数不变的一些理想[D].苏州大学,基础数学,2003,硕士.
[30]刘江,吴思达,徐佳,王潜,杨全红,王璞.基于氧化石墨烯锁模的2μm掺铥超短脉冲光纤激光器[J].中国激光,2012,03:228.
[31]苏丹.金属官能化离子液体的合成及催化性能研究[D].黑龙江大学,工业催化,2013,硕士.
[32]朱沁.多船会遇的船舶智能避碰专家系统研究与仿真[D].武汉理工大学,流体力学,2004,硕士.
[33]郭怡.城镇化进程中的县政府行为研究[D].西北大学,行政管理,2014,硕士.
[34]陆赛群,吴文波.数据挖掘在城市污水处理中的潜在价值[J].浙江水利水电专科学校学报,2005,02:27-29.
[35]高振华.USB2.0 OTG PHY模拟电路的设计实现[D].复旦大学,集成电路工程,2012,硕士.
[36]赵文国.河北省小额贷款公司经营风险研究[D].河北经贸大学,金融学,2013,硕士.
[37]王晓晔,王正欧.K-最近邻分类技术的改进算法[J].电子与信息学报,2005,03:487-491.
[38]王欣.当代苏绣艺术研究[D].苏州大学,服装,2013,博士.
[39]黄志中.唐都医院门诊排队系统的优化研究[D].西北大学,高级工商管理（EMBA）（专业学位）,2014,硕士.
[40]仇慧.管理层持股、董事会结构和企业绩效[D].苏州大学,企业管理,2014,硕士.
[41]束悦.清代小说《二度梅全传》研究[D].南京师范大学,中国古代文学,2012,硕士.
[42]张盟盟.干胶转化法制备多级孔分子筛[D].曲阜师范大学,物理化学,2013,硕士.
[43]陈莉.论新闻侵权的界定[D].郑州大学,法律,2013,硕士.
[44]程怡.戏曲脸谱在视觉传达设计中的表现形式研究[D].西北大学,美术（专业学位）,2014,硕士.
[45]刘广成.静电净化治理室内空气污染[J].建设科技.2004(22)
[46]陈方旎.火电厂循环冷却水系统的水动力学数值研究[D].天津大学,水力学及河流动力学,2013,硕士.
[47]罗冰.关于构建我国内地房地产投资信托基金法律制度的思考[D].外交学院,国际法,2014,硕士.
[48]赵亮.几种核壳结构磁性介孔复合材料的合成与性质研究[D].吉林大学,材料物理与化学,2013,硕士.
[49]贾飞.农村现行养老模式问题研究[D].内蒙古师范大学,社会工作（专业学位）,2012,硕士.
[50]吴鹏.乡镇干部思想政治教育研究[D].山西师范大学,思想政治教育研究,2014,硕士.